1. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
2. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
